$\forall$$A$, $B$:Realizer.
\\[0ex]($\neg$($\uparrow$Rplus?($A$)))
\\[0ex]$\Rightarrow$ ($\neg$($\uparrow$Rplus?($B$)))
\\[0ex]$\Rightarrow$ R{-}Feasible($A$)
\\[0ex]$\Rightarrow$ R{-}Feasible($B$)
\\[0ex]$\Rightarrow$ $A$ $\parallel$ $B$
\\[0ex]$\Rightarrow$ interface{-}compatible([[$A$]];[[$B$]])